package controlGraph;

public class Axiom {
	
	private String relOp;
	private Expression leftExp;
	private Expression rightExp;
	
	private Axiom(String relOp, Expression leftExp, Expression rightExp){
		this.leftExp = leftExp;
		this.rightExp = rightExp;
		this.relOp = relOp;
	}
	
	public static Axiom getAxiomInstance(String relOp, Expression leftExp, Expression rightExp){
		Axiom ret = new Axiom(relOp, leftExp, rightExp);
		return ret;
	}
	
	public String generateAxiom(){
		return "( "+this.relOp+" "+this.leftExp.toString()+" "+this.rightExp.toString()+" )";
	}
	
	public Expression getLeftExp(){
		return this.leftExp;
	}
	
	public Expression getRightExp(){
		return this.rightExp;
	}
}
